#include "os.h"

void start_kernel(void)
{
	uart_init();
	uart_puts("Hello, RVOS!\n");


	sched_init();
	schedule();
	uart_puts("Would not go here!\n");

	while (1) {};
}

